<html>
<head><meta charset="utf-8"><title>MIR optimization WG · t-compiler/wg-meta · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/index.html">t-compiler/wg-meta</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html">MIR optimization WG</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="159548385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159548385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159548385">(Feb 27 2019 at 20:13)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="124288">@oli</span> / <span class="user-mention" data-user-id="119009">@eddyb</span> -- we should talk about the MIR Optimization working group. Maybe one of you wants to create a template? There are <a href="https://github.com/rust-lang/compiler-team/blob/master/procedures/form-new-working-group.md#step-3-setting-things-up" target="_blank" title="https://github.com/rust-lang/compiler-team/blob/master/procedures/form-new-working-group.md#step-3-setting-things-up">instructions in the compiler-team repository</a>. I can create the Zulip stream/user-group -- what should I call it?</p>



<a name="159698417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159698417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159698417">(Mar 01 2019 at 10:32)</a>:</h4>
<p><code>wg-optimizable-mir</code>? That's less open ended than <code>wg-mir-optimizations</code></p>



<a name="159698619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159698619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159698619">(Mar 01 2019 at 10:35)</a>:</h4>
<p>uhmmm… that would imply that we are changing MIR to make it more optimisable, while the end goal of this WG would be to have the best MIR before lowering, I would think.</p>



<a name="159698640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159698640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159698640">(Mar 01 2019 at 10:35)</a>:</h4>
<p><code>wg-optimal-mir</code></p>



<a name="159704609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159704609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159704609">(Mar 01 2019 at 11:49)</a>:</h4>
<p>Right, that's the end goal. I just assumed from a few discussions that happened around the wg topics that we want to have shorter lived working groups?</p>



<a name="159704688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159704688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159704688">(Mar 01 2019 at 11:50)</a>:</h4>
<p>I think as long as they have clearly defined scope then it's all good.</p>



<a name="159704698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159704698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159704698">(Mar 01 2019 at 11:50)</a>:</h4>
<p>i.e. it isn't just open-ended</p>



<a name="159710921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159710921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Cem Karan <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159710921">(Mar 01 2019 at 13:10)</a>:</h4>
<p>I'm with <span class="user-mention" data-user-id="116107">@davidtwco</span> on this about working groups.  Even <code>wg-optimal-mir</code> feels pretty open-ended to me, unless there are already a list of concrete goals of the WG? If we can't describe concrete, measurable goals, then maybe this isn't really a working group type of problem...</p>



<a name="159711351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159711351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159711351">(Mar 01 2019 at 13:15)</a>:</h4>
<p>I think any of the names suggested are fine. I think I have an idea what the scope of this working group would be based on the All Hands meetings so I don't really mind what the name is - and that scope will probably be written in the repo. We're not always going to find a nice name to describe what the working group will do that also is self-explanatory w/r/t scope.</p>



<a name="159715120"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159715120" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159715120">(Mar 01 2019 at 13:57)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> this feels like more than a naming question: what <em>is</em> the scope of the WG? In particular I think there are (at least) two things happening:</p>
<ul>
<li>changing MIR to be more easily optimized (e.g., place 2.0 but also other things)</li>
<li>implementing MIR optimizations</li>
</ul>
<p>I had sort of envisioned them both being "in scope" for the 1 WG, but you could imagine distinct WGs. Still, seems like too much overhead.</p>



<a name="159715314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159715314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159715314">(Mar 01 2019 at 13:59)</a>:</h4>
<p>Oh, then by all means, <code>wg-optimal-mir</code> or <code>wg-mir-opt</code>. Let's not make two WGs, that would just be weird.</p>



<a name="159715911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159715911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159715911">(Mar 01 2019 at 14:04)</a>:</h4>
<p>I like mir-opt better than optimal-mir =) the latter sounds...hard to achieve :)</p>



<a name="159928023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159928023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159928023">(Mar 04 2019 at 16:34)</a>:</h4>
<p>Ok, I like <code>mir-opt</code>, too, so let's roll with that. <span class="user-mention" data-user-id="116009">@nikomatsakis</span> can you create a zulip sub-stream and notification group for us?</p>



<a name="159928272"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159928272" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159928272">(Mar 04 2019 at 16:37)</a>:</h4>
<p>We have a rust-lang org group now: <a href="https://github.com/orgs/rust-lang/teams/wg-mir-opt" target="_blank" title="https://github.com/orgs/rust-lang/teams/wg-mir-opt">https://github.com/orgs/rust-lang/teams/wg-mir-opt</a></p>



<a name="159928382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159928382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159928382">(Mar 04 2019 at 16:39)</a>:</h4>
<p>Can you give read access to the <code>wg-mir-opt</code> group for <code>rust-lang/rust</code>? Via <a href="https://github.com/orgs/rust-lang/teams/wg-mir-opt/repositories" target="_blank" title="https://github.com/orgs/rust-lang/teams/wg-mir-opt/repositories">https://github.com/orgs/rust-lang/teams/wg-mir-opt/repositories</a> I assume?</p>



<a name="159929004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159929004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159929004">(Mar 04 2019 at 16:46)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> <a class="stream" data-stream-id="189540" href="/#narrow/stream/189540-t-compiler.2Fwg-mir-opt">#t-compiler/wg-mir-opt</a></p>



<a name="159929157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159929157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159929157">(Mar 04 2019 at 16:48)</a>:</h4>
<p>Only pending thing is the compiler-team repository changes.</p>



<a name="159929198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/MIR%20optimization%20WG/near/159929198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/MIR.20optimization.20WG.html#159929198">(Mar 04 2019 at 16:48)</a>:</h4>
<p>jup, but those depended on links to the zulip channels being available ;) Thanks for setting them up so fast</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>